\begin{tabbing}
w{-}info($w$;$e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase\=(w{-}ekind($w$; $e$)\+
\\[0ex]; $a$.inl $<$w{-}loc($w$; $e$), $a$$>$ 
\\[0ex]; $l$,${\it tg}$.inr $<<$$l$, w{-}sender($w$; $e$)$>$, ${\it tg}$$>$  )
\-
\end{tabbing}